Deciding Entailment of Implications with Support and Confidence in Polynomial Space
نویسنده
چکیده
Association Rules are a basic concept of data mining. They are, however, not understood as logical objects which can be used for reasoning. The purpose of this paper is to investigate a model based semantic for implications with certain constraints on their support and confidence in relational data, which then resemble association rules, and to present a possibility to decide entailment for them.
منابع مشابه
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
In this work we study a rational extension SROEL(⊓,×) T of the low complexity description logic SROEL(⊓,×), which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor’s ranked models and allows for the definition of defeasible inclusions. We consider both rational entailment and minimal entailment. We show that d...
متن کاملReasoning in a Rational Extension of SROEL
In this work we define a rational extension SROEL(⊓,×) T of the low complexity description logic SROEL(⊓,×), which underlies the OWL EL ontology language. The logic is extended with a typicality operator T, whose semantics is based on Lehmann and Magidor’s ranked models and allows for the definition of defeasible inclusions. We consider both rational entailment and minimal entailment. We show t...
متن کاملText Grouping using Textual Entailment
Textual Entailment is an important field in Natural Language Processing domain. Given two texts called T (Text) and H (Hypothesis), the textual entailment recognition is the task of deciding whether the meaning of H can be logically inferred from that of T. A Textual Entailment (TE) system has developed and this system has tested on various entailment standard datasets. This TE will apply to di...
متن کامل1 8 M ay 2 01 5 Entailment Among Probabilistic Implications ∗
We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort of implication is defined in terms of a threshold on a conditional probability of the consequent, given the antecedent: we are dealing with what the data analysis community c...
متن کاملNew Bases for Polynomial-Based Spaces
Since it is well-known that the Vandermonde matrix is ill-conditioned, while the interpolation itself is not unstable in function space, this paper surveys the choices of other new bases. These bases are data-dependent and are categorized into discretely l2-orthonormal and continuously L2-orthonormal bases. The first one construct a unitary Gramian matrix in the space l2(X) while the late...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1201.5719 شماره
صفحات -
تاریخ انتشار 2012